Issue950b.agda:19,1-4
Cannot eliminate type  ?0  with projection  x
when checking the clause left hand side
x f
